predicate logic with equality
[数] 带同异性的谓词逻辑
热门查询
- flinch n. 退缩；畏惧 vi. 退缩；畏惧
- Enrique [人名] 恩里克
- faecal adj. 渣滓的；排泄物的（等于fecal）
- photochemical n. 光催化学物 adj. 光化学的
- disciple n. 门徒，信徒；弟子
- curtains n. [建] 窗帘（curtain的复数）；灾难
- Izvestia n. 消息报
- thirstily adv. 口渴地；如饥似渴地
- factories n. 工厂，车厂（factory复数形式）
- arrhythmia n. 心律不齐，[内科] 心律失常
- resold v. 再出售（resell的过去分词）
- dithering n. 抖动
- hurt n. 痛苦；危害；痛苦的原因 vt. 使受伤；损害；使疼痛；使痛心 adj. 受伤的；痛苦的；受损的 vi. 感到疼痛；有坏处；带来痛苦 n. (Hurt)人名；(德、匈、捷)胡特；(英)赫特
- interviewee n. 被接见者；被访问者
- Turgenev n. 屠格涅夫（俄国作家名）
- scientist n. 科学家
- briefly adv. 短暂地；简略地；暂时地
- commander n. 指挥官；司令官
- urea n. [肥料] 尿素 n. (Urea)人名；(西、罗)乌雷亚
- bacteria n. [微] 细菌
